|
Alan Ross Anderson (1925–1973) was an American logician and professor of philosophy at Yale University and the University of Pittsburgh. A frequent collaborator with Nuel Belnap, Anderson was instrumental in the development of relevance logic and deontic logic. Anderson died of cancer in 1973. == Relevance logic == Anderson believed that the conclusion of a valid inference ought to have something to do with (i.e. be ''relevant'' to) the premises. Formally, he captured this "relevance condition" with the principle that : ''A'' entails ''B'' only if ''A'' and ''B'' share at least one non-logical constant. As simple as this idea appears, implementing it in a formal system requires a radical departure from the semantics of classical logic. Anderson and Belnap (with contributions from J. Michael Dunn, Kit Fine, Alasdair Urquhart, Robert K. Meyer, Anil Gupta (logician), and others) explored the formal consequences of the relevance condition in great detail in their influential ''Entailment'' books (see references below), which are the most frequently cited works in the field of relevance logic. Anderson and Belnap were quick to observe that the concept of relevance had been central to logic since Aristotle, but had been unduly neglected since Gottlob Frege and George Boole laid the foundations for what would come to be known, somewhat ironically, as "classical" logic. (For an example of classical logic's failure to satisfy the relevance condition, see the article on the principle of explosion.) 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Alan Ross Anderson」の詳細全文を読む スポンサード リンク
|